Classical Programming Topics with Functional Programming

Topics in Logic Programming Implementation

Programming with Functional Nets

Over the last 20 years an operational view of program execution based on rewriting has become widespread. In this view, a program is seen as a term in some calculus, and program execution is modeled by stepwise rewriting of the term according to the rules of the calculus. The operational semantics still has to be complemented with a logic for program verification and a collection of laws of pro...

Functional Programming with Relations

While programming in a relational framework has much to o er over the functional style in terms of expressiveness, computing with relations is less e cient, and more semantically troublesome. In this paper we propose a novel blend of the functional and relational styles. We identify a class of causal relations , which inherit some of the bi{directionality properties of relations, but retain the...

Advanced Topics in Types and Programming Languages Advanced Topics in Types and Programming Languages

All rights reserved. No part of this book may be reproduced in any form by any electronic of mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher. Advanced Topics in Types and programming languages / Benjamin C. Pierce, editor p. cm. Includes bibliographical references and index.

Comparing Functional and Imperative Programming Languages on Classical Planning Problems

1 SUMMARY In this project, we compare imperative (Python) and functional (Haskell) programming languages on solving the automated planning problems. Functional language is useful since the classical planning problem can be reduced to boolean satisfiability problem (SAT), where functional language and recursion provide a natural way of implementation. On the other hand, large-scale planning prob...